A Multiple-Conclusion Meta-Logic
نویسنده
چکیده
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, λProlog and its linear logic refinement, Lolli [12], provide for various forms of abstraction (modules, abstract data types, higher-order programming) but lack primitives for concurrency. The logic programming language, LO (Linear Objects) [2] provides for concurrency but lacks abstraction mechanisms. In this paper we present Forum, a logic programming presentation of all of linear logic that modularly extends the languages λProlog, Lolli, and LO. Forum, therefore, allows specifications to incorporate both abstractions and concurrency. As a meta-language, Forum greatly extends the expressiveness of these other logic programming languages. To illustrate its expressive strength, we specify in Forum a sequent calculus proof system and the operational semantics of a functional programming language that incorporates such nonfunctional features as counters and references.
منابع مشابه
Designing a Meta-Heuristic Algorithm Based on a Simple Seeking Logic
Nowadays, in majority of academic contexts, it has been tried to consider the highest possible level of similarities to the real world. Hence, most of the problems have complicated structures. Traditional methods for solving almost all of the mathematical and optimization problems are inefficient. As a result, meta-heuristic algorithms have been employed increasingly during recent years. In thi...
متن کاملThe Effectiveness of Mindfulness-Based Cognitive Therapy in Reducing Psychological Symptoms, Meta-Worry and Thought Fusion of Multiple Sclerosis Patients
Purpose: Multiple sclerosis is a progressive neurological disease and a cause of many disabilities in individuals. Set of symptoms and the chronic nature of this disease, together impair the mental state of the person and cause awidervariety of psychological symptoms worsening the disease. Therefor, this study aimed to evaluate the effectiveness of cognitive therapy based on mindfulness psy...
متن کاملP 35: The Mediating Role of Meta-Cognitive Beliefs on the Cognitive-Executive Functions of Brain, Sleep Disorders, Optic Neuritis in Multiple Sclerosis Patients
Introduction: Multiple sclerosis (MS) is a chronic, autoimmune, and inflammatory nervous system disease. It leads to the loss of myelin in the white matter of brain, spinal cord and optic nerves. As a chronic disease with sudden and unpredictable Side effects and complications of the disease will lead to disability and dependency in life. Causes neurologic symptoms and sig. The purpose of the p...
متن کاملRecovering a Logic from Its Fragments by Meta-Fibring
In this paper we address the question of recovering a logic system by combining two or more fragments of it. We show that, in general, by fibring two or more fragments of a given logic the resulting logic is weaker than the original one, because some meta-properties of the connectives are lost after the combination process. In order to overcome this problem, the categoriesMcon and Seq of multip...
متن کاملEffect of Exercise Programs on Fear of Falling in Multiple Sclerosis: A Systematic Review and Meta-analysis of Randomized Clinical Trials
Background: Multiple Sclerosis (MS) is one of the most common diseases of the Central Nervous System (CNS). Numerous studies have reported Fear of Falling (FOF) among MS patients. FOF is a factor limiting physical activity. Regular physical activity is very important for maintaining good health and preventing the complications of MS patients and can make these people more active and reduce FOF....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994